Fully abstract denotational models for nonuniform concurrent languages

AbstractThis paper investigates full abstraction of denotational model w.r.t. operational ones for two concurrent languages. The languages are nonuniform in the sense that the meaning of atomic statements generally depends on the current state. The first language, L1, has parallel composition but no communication, whereas the second one, L2, has CSP-like communications in addition. For each of Li (i = 1, 2), an operational model Oi is introduced in terms of a Plotkin-style transition system, while a denotational model Di for Li is defined compositionally using interpreted operations of the language, with meanings of recursive programs as fixed points in appropriate complete metric spaces. The full abstraction is shown by means of a context with parallel composition: Given two statements s1 and s2 with different denotational meanings, a suitable statement T is constructed such that the operational meanings of s1 ∥ T and s2 ∥ T are distinct. A combinatorial method for constructing such T is proposed. Thereby the full abstraction of D1 and D2 w.r.t. O1 and O2, respectively, is established. That is, Di is most abstract of those models C which are compositional and satisfy Oi = α ∘ C for some abstraction function α (i = 1, 2)

Critical dynamics of phase transition driven by dichotomous Markov noise

An Ising spin system under the critical temperature driven by a dichotomous Markov noise (magnetic field) with a finite correlation time is studied both numerically and theoretically. The order parameter exhibits a transition between two kinds of qualitatively different dynamics, symmetry-restoring and symmetry-breaking motions, as the noise intensity is changed. There exist regions called channels where the order parameter stays for a long time slightly above its critical noise intensity. Developing a phenomenological analysis of the dynamics, we investigate the distribution of the passage time through the channels and the power spectrum of the order parameter evolution. The results based on the phenomenological analysis turn out to be in quite good agreement with those of the numerical simulation.Comment: 27 pages, 12 figure

Influence of severe plastic deformation on the precipitation hardening of a FeSiTi steel

The combined strengthening effects of grain refinement and high precipitated volume fraction (~6at.%) on the mechanical properties of FeSiTi alloy subjected to SPD processing prior to aging treatment were investigated by atom probe tomography and scanning transmission electron microscopy. It was shown that the refinement of the microstructure affects the precipitation kinetics and the spatial distribution of the secondary hardening intermetallic phase, which was observed to nucleate heterogeneously on dislocations and sub-grain boundaries. It was revealed that alloys successively subjected to these two strengthening mechanisms exhibit a lower increase in mechanical strength than a simple estimation based on the summation of the two individual strengthening mechanisms

Determining flooded areas using crowd sensing data and weather radar precipitation : a case study in Brazil

Crowd sensing data (also known as crowdsourcing) are of great significance to support flood risk management. With the growing volume of available data in the past few years, researchers have used in situ sensor data to filter and prioritize volunteers’ information. Nevertheless, stationary, in situ sensors are only capable of monitoring a limited region, and this could hamper proper decision-making. This study investigates the use of weather radar precipitation to support the processing of crowd sensing data with the goal of improving situation awareness in a disaster and early warnings (e.g., floods). Results from a case study carried out in the city of São Paulo, Brazil, demonstrate that weather radar data are able to validate flooded areas identified from clusters of crowd sensing data. In this manner, crowd sensing and weather radar data together can not only help engage citizens, but also generate high-quality data at finer spatial and temporal resolutions to improve the decision-making related to weather-related disaster events

Developmental Research in Space: Predicting Adult Neurobehavioral Phenotypes via Metabolomic Imaging

As human habitation and eventual colonization of space becomes an inevitable reality, there is a necessity to understand how organisms develop over the life span in the space environment. Microgravity, altered CO2, radiation and psychological stress are some of the key factors that could affect mammalian reproduction and development in space, however there is a paucity of information on this topic. Here we combine early (neonatal) in vivo spectroscopic imaging with an adult emotionality assay following a common obstetric complication (prenatal asphyxia) likely to occur during gestation in space. The neural metabolome is sensitive to alteration by degenerative changes and developmental disorders, thus we hypothesized that that early neonatal neurometabolite profiles can predict adult response to novelty. Late gestation fetal rats were exposed to moderate asphyxia by occluding the blood supply feeding one of the rats pair uterine horns for 15min. Blood supply to the opposite horn was not occluded (within-litter cesarean control). Further comparisons were made with vaginal (natural) birth controls. In one-week old neonates, we measured neurometabolites in three brain areas (i.e., striatum, prefrontal cortex, and hippocampus). Adult perinatally-asphyxiated offspring exhibited greater anxiety-like behavioral phenotypes (as measured the composite neurobehavioral assay involving open field activity, responses to novel object, quantification of fecal droppings, and resident-intruder tests of social behavior). Further, early neurometabolite profiles predicted adult responses. Non-invasive MRS screening of mammalian offspring is likely to advance ground-based space analogue studies informing mammalian reproduction in space, and achieving high-priority multigenerational research that will enable studies of the first truly space-developed mammals

Effects of acute fatigue on the volitional and magnetically-evoked electromechanical delay of the knee flexors in males and females

Neuromuscular performance capabilities, including those measured by evoked responses, may be adversely affected by fatigue; however, the capability of the neuromuscular system to initiate muscle force rapidly under these circumstances is yet to be established. Sex-differences in the acute responses of neuromuscular performance to exercise stress may be linked to evidence that females are much more vulnerable to ACL injury than males. Optimal functioning of the knee flexors is paramount to the dynamic stabilisation of the knee joint, therefore the aim of this investigation was to examine the effects of acute maximal intensity fatiguing exercise on the voluntary and magnetically-evoked electromechanical delay in the knee flexors of males and females. Knee flexor volitional and magnetically-evoked neuromuscular performance was assessed in seven male and nine females prior to and immediately after: (i) an intervention condition comprising a fatigue trial of 30-seconds maximal static exercise of the knee flexors, (ii) a control condition consisting of no exercise. The results showed that the fatigue intervention was associated with a substantive reduction in volitional peak force (PFV) that was greater in males compared to females (15.0%, 10.2%, respectively, p < 0.01) and impairment to volitional electromechanical delay (EMDV) in females exclusively (19.3%, p < 0.05). Similar improvements in magnetically-evoked electromechanical delay in males and females following fatigue (21%, p < 0.001), however, may suggest a vital facilitatory mechanism to overcome the effects of impaired voluntary capabilities, and a faster neuromuscular response that can be deployed during critical times to protect the joint system

Nonconcave entropies in multifractals and the thermodynamic formalism

We discuss a subtlety involved in the calculation of multifractal spectra when these are expressed as Legendre-Fenchel transforms of functions analogous to free energy functions. We show that the Legendre-Fenchel transform of a free energy function yields the correct multifractal spectrum only when the latter is wholly concave. If the spectrum has no definite concavity, then the transform yields the concave envelope of the spectrum rather than the spectrum itself. Some mathematical and physical examples are given to illustrate this result, which lies at the root of the nonequivalence of the microcanonical and canonical ensembles. On a more positive note, we also show that the impossibility of expressing nonconcave multifractal spectra through Legendre-Fenchel transforms of free energies can be circumvented with the help of a generalized free energy function, which relates to a recently introduced generalized canonical ensemble. Analogies with the calculation of rate functions in large deviation theory are finally discussed.Comment: 9 pages, revtex4, 3 figures. Changes in v2: sections added on applications plus many new references; contains an addendum not contained in published versio

The effect of seasoning with herbs on the nutritional, safety and sensory properties of reduced-sodium fermented Cobrançosa cv. table olives

This study aimed at evaluating the effectiveness of seasoning Cobrancosa table olives in a brine with aromatic ingredients, in order to mask the bitter taste given by KCl when added to reduced-sodium fermentation brines. Olives were fermented in two different salt combinations: Brine A, containing 8% NaCl and, Brine B, a reduced-sodium brine, containing 4% NaCl + 4% KCl. After the fermentation the olives were immersed in seasoning brines with NaCl (2%) and the aromatic herbs (thyme, oregano and calamintha), garlic and lemon. At the end of the fermentation and two weeks after seasoning, the physicochemical, nutritional, organoleptic, and microbiological parameters, were determined. The olives fermented in the reduced-sodium brines had half the sodium concentration, higher potassium and calcium content, a lower caloric level, but were considered, by a sensorial panel, more bitter than olives fermented in NaCl brine. Seasoned table olives, previously fermented in Brine A and Brine B, had no significant differences in the amounts of protein (1.23% or 1.11%), carbohydrates (1.0% or 0.66%), fat (20.0% or 20.5%) and dietary fiber (3.4% or 3.6%). Regarding mineral contents, the sodium-reduced fermented olives, presented one third of sodium, seven times more potassium and three times more calcium than the traditional olives fermented in 8% NaCl. Additionally, according to the panelists' evaluation, seasoning the olives fermented in 4% NaCl + 4% KCl, resulted in a decrease in bitterness and an improvement in the overall evaluation and flavor. Escherichia coli and Salmonella were not found in the olives produced.info:eu-repo/semantics/publishedVersio